例句與造句

1. In Peano's original formulation, the induction axiom is a first-order induction scheme.
2. The subscript 0 in these names means that the induction scheme has been restricted from the full second-order induction scheme.
3. The subscript 0 in these names means that the induction scheme has been restricted from the full second-order induction scheme.
4. This restriction is important : systems with restricted induction have significantly lower proof-theoretical ordinals than systems with the full second-order induction scheme.
5. However ACA 0 does not have the full comprehension axiom, and the subscript 0 is a reminder that it does not have the full second-order induction scheme either.
6. It's difficult to find induction scheme in a sentence. 用induction scheme造句挺難的